| Name | Version | Summary | date |
|---|---|---|---|
| dd | 0.6.0 | Binary decision diagrams implemented in pure Python, as well as Cython wrappers of CUDD, Sylvan, and BuDDy. | 2023-12-16 13:31:27 |
| zdd-algorithms | 0.1.5 | Implements the zdd algorithms that are on the wiki page | 2023-10-22 09:08:56 |
| hour | day | week | total |
|---|---|---|---|
| 30 | 2074 | 10719 | 209589 |